Identifiability of homogeneous systems using the state isomorphism approach

نویسندگان

  • Ralf L. M. Peeters
  • Bernard Hanzon
چکیده

New results are presented concerning the state isomorphism approach to global identifiability analysis of parameterized classes of nonlinear state space systems with specified initial states. In particular we study the class of homogeneous systems, for which, under certain conditions, the local state isomorphism for a pair of indistinguishable parameter vectors is shown to be homogeneous of degree one. For homogeneous polynomial systems, conditions are given under which the local state isomorphism becomes linear. Here, the issue of whether or not the observability rank condition holds at the origin is shown to be of key importance. The scope of the results, which extend to the multivariable case, is discussed and illustrated by a number of worked examples. This demonstrates how the developed theory can be put to use to investigate the global identifiability properties of parameterized model classes.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equivalence and identifiability analysis of uncontrolled nonlinear dynamical systems

The problem of identifiability of parameters has hardly ever been considered in the case of uncontrolled systems whereas many efficient methods have been developped for controlled systems. The similarity transformation approach, based on the local state isomorphism theorem, gives a sufficient and necessary condition for global identifiability of non linear controlled systems. But this approach ...

متن کامل

A local approach to the entropy of countable fuzzy partitions

This paper denes and investigates the ergodic proper-ties of the entropy of a countable partition of a fuzzy dynamical sys-tem at different points of the state space. It ultimately introducesthe local fuzzy entropy of a fuzzy dynamical system and proves itto be an isomorphism invariant.

متن کامل

L-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS

The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between  $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is  bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Automatica

دوره 41  شماره 

صفحات  -

تاریخ انتشار 2005